这里用关系式证明.

此外也可以直接由定义得到，证毕.